Theorem equivalent to the Axiom of Choice.